Fix halvm-ghc version.