Work around gcc 4.8.2 bug

Some of our interior facet integrals are compiled badly by gcc 4.8.2
with -O3 optimisation levels, turn off the relevant flag that does
this.  (GCC bug gcc.gnu.org/bugzilla/show_bug.cgi?id=61068).