Silly file capitalization things (probably with OSX).