update cabal before CI