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