Add echoprint-codegen 4.12

Only HEAD version previously (#6245), now added with release.