Some tweaks to ensure linux compatibility, e.g. file name case etc.