Re: [firedrake] [petsc-maint] Firedrake - PETSC CONFIGURATION CRASH