Re: Installing GHC and libgmp.so