Update @vstoykov's convert_encoding.py