defs.mk