Fixing cgal flags