Disable -pedantic when building Gecode.