Use @mpx_ueq@ instead of @MPX_UCMP@.