Renamed files to avoid conflict with case-insensitive file systems