proper encoding for windows console