pipe2() is platform-dependant