change naming of generated files