Let's use gcc 4.8 to work around a known compiler bug with 4.6 compiling MPFR