Fix bug where Travis was just rebuilding CGAL