Minor update to tell us where the generated files are