Convert filenames from one encoding to another
