Re: [petsc-dev] [petsc-maint #119133] petsc-dev configure crash