Fix codegen on 12.04