Fixed filenames for case-sensitive filesystems