Add ghc-lib for missing libgmp.so.10