Small update to compile_defs.py