fixed file names for Linux (case sensitive)