Correction: It wasn't fixed in CGAL after all, it was fixed somewhere in our code