Re: [petsc-dev] p4est configure error