remove some redundancies in file names