pipesz: cannot set pipe buffer size of /dev/null: Bad file descriptor