clean up bad encoding of file names