Installing GHC and libgmp.so