improve envdef.py example