Github is confused about a file with different capitalization