add CGAL link and delete libgmp3 from install list