-* In run-all:
- - Fix compression of output files (make it optional?).
- - Use more legible names for generated files.
- Current problems are:
- . file names are too long.
- . MORE_ARGS do not appear in file name.
- Why not simply using file names "plain.out", and "bookkeeping.out"?
-