Converts filenames from one encoding to another
