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