minor cleanup in gecode wrapper