Re: [firedrake] problems with install slepc