Arb: specify MPFR library location