Adding files generated from dev/gen.pl