Re: [firedrake] mpi problem