godot/thirdparty/clipper2/patches/