new patch version (almost) fixing inductive codegen issue