[firedrake] Firedrake failed to install - failed to clone petsc