Re: [firedrake] MPI error