disable static libmpfr