issue #17: nobody expected cp437 default stdout encoding on windows\!