cgal version bump