update cabal, examples.