Re: [firedrake] mpirun acting up