added to ignore abbrev_defs