Add missing mpir.h.