Add abbrev_defs to avoid a warning about abbrev-file-name