attempt to fix file loading problem when the OS has a weird default encoding.