remove abbrev_defs