A program to convert the encoding of the file.