Fixed problem with file name case

Sorry, this didn't pop on my case insensitive file system...