Fix default encoding on windows: always use UTF-8