Build `mptypes.h' header file appropriately for the current