Add explicit mpfr dependency in an attempt to fix CI