Don't put "extra-libraries: gmp" in the cabal file; it comes from the buildinfo file