build with r9b

Had to also update gmp, the old version fails with the 4.8 toolchain
Merge branch 'master' into stable-ghc-snapshot