A file encoding converter that REALLY works!