update gecode