[firedrake] Firedrake compatible C compiling