the filenames have been normalized