Fix filenames for case-sensitive systems