Move pragmas to stop gcc complaining about its own damned pragmas.
Merge branch 'flint-2.4' into trunk