[firedrake] Firedrake installation stuck at petsc install