Small programm for changing file encodings