Fixing character encodings in python files