Update CGAL; NB: updating requires going through a formto get the fresh links