[GHC] #14695: ghc --interactive error: "gcc: error: libgmp.so: No such file or directory"