Re: [firedrake] Facetnormal compile error