Fix file names

Thank you OSX for your fabulous case insensitive file system...