bench7-mpi.sh: a wee script to run mpi jobs.