Changed to use multi-ghc