Fixed case fail. Need to make Git not ignore case

Git for Windows wouldn't change the case of a file name without command
line intervention... that's annoying. Let's hope GitHub likes this file
now.