Link libgmp to a name ghc expects