Filename fixes for case-sensitive systems
Fix filenames for case-sensitive systems