porting to gecode 4.0.0