Delete defs-pretty.py