Remove .ghc/*-linux-7.8.3 when building Cabal, and fix a GMP install glitch.