cabal and executable