Fix gecode tests