modify hz3.cabal