added modified CGAL header files