[MINOR] Fix corrupted git history (case-sensitive filename change)

[MINOR] Fix corrupted git history (case-sensitive filename change) #8127