Delete defs-pretty.json