changes for linux case-sensitivity of files