Re: [firedrake] Installing Firedrake on an HPC machine