fixing some file names