CGAL soname "bump" in rawhide