console output now depends on the current console encoding (in Windows, for now).