Get rid off platform-dependent file I/O