pipesz: cannot get pipe buffer size of fd 42: Bad file descriptor