Fix for case sensitivity on linux