Fix bug that went missing because of Mac OS X default case-insensitivity for file-systems
Fix bug that went missing because of Mac OS X default case-insensitivity for file-systems