Tool for fixing up UTF-8 encodings