godot/thirdparty/clipper2/