Re: [petsc-dev] Compiling issue with main branch