use files for all redirections in spawn when executing example; improve benchmarking output;