Add -with-ghc option