put mmp_defs.h in