Revert MP_BOOL, etc. and use <stdbool.h> instead