Ok use my ghc7.8.3 tap to setup ghc/cabal so that libgmp works.