Re: [firedrake] Problem with petsc seg faults in firedrake