Work around a problem with UTF-8 characters in filenames