fixing names of ins-files