std I/O sort of works on Linux