tools/ide-codegen compiles now (in 2014)