fix file names for case-sensitive OSs