Re: ghc configure