cgal vs. nocgal build tweaks