Re: [firedrake] installing firedrake on a cluster