Travis updated with manual cgal install