added makedef.py