Re: [firedrake] broken install