Re: build ghc without ghci libraries?