Solve git quirk to do with renaming a file with only lower/uppercase changes