Re: [firedrake] CUDA support broken after update