fix the file names on linux