Tweakings for i-score, including older gecode version