Tweak encoding setting to work on Windows