We change the file names in a more consensus way