Fix encoding problem on Windows