fix encoding problem under Win