Re: [petsc-users] make check error?