Re: building ghc once or twice?