Re: [petsc-dev] valgrind now a point of failure?