rm defs.pp