Delete lib.defs