I don't think we want to rename this file; but also moving it with the lowercase name then renaming it to lowercase will fail on case-sensitive file systems.