windows encoding; fix #15