changed jenkins script to update cabal