make text files platform-independent