python sys stdout encoding