tools/convert_encoding.py