Fix another encoding issue on windoze