Fix build against gecode 4.0.0 [applied]