cabal with some executables