write cabal for executables.