update defs