fix up wrong file names