Support C++17 (Replace std::random_shuffle() with CGAL::random_shuffle(), and other adjustments)
CGAL_