Fix capitalized renamed files in the repository (bis)