solve problem with encoding on windows