adapt to recent changes in the Gecode repository