update some generated files for new Lem with fixed renaming