put in nicer filenames for generated files