Hopefully fix file_to_string() on Windows with text files.