Fix code term in compile_defs.py