enable --info output of names of CGAL Kernels to aid debugging