Delete defs.o