build with r9b

Had to also update gmp, the old version fails with the 4.8 toolchain