Re: [firedrake] mpirun for examples