cgal/Installation/share/gdb/auto-load
..
cgal_printers.py