Cleanup in compile_defs.py