git was case-insensitive when I changed the filenames in the last PR.

http://blog.grayghostvisuals.com/git/case-sensitivity-with-git/