Tweaks; halvm-ghc now makes it through configure.