Quick fix for startup on MAC OS X with case-insensitive filesystem