(that had been reverted a few months ago, after the massive changes of all CGAL_BEGIN_NAMESPACE in the CGAL repository).