Fixes for Linux build & case sensitivity in filenames.