https://github.com/AngusJohnson/Clipper2 - old clipper is currently failing on Windows builds anyway, so the update is quite urgent to fix that.