Getting back to with-hc, plus fixing the code.

Turns out the documentation and code were indeed different, but the error was
in the code that expected a --with-ghc flag. Now both point to --with-hc.