Fix the names of generated files