cat: stdout: Bad file descriptor