jdef.py 0.1.8 commit