Re: [firedrake] Firedrake compatible C compiling