Update gecode