Tools for converting character encodings