[python] How to make the python interpreter correctly handle non-ASCII characters in string operations?