Re: [petsc-dev] build problem with suitesparse 4.2