modify HasKAL.cabal