Re: [firedrake] problems installing slepc