Added CGAL 4.2