argv_encoding != sys.stdin.encoding