fix MPFR build to make sure it uses our GMP when we build it
clean up bigint module a bit