Update defs.h