third_party/wsproxy/server/tools/scripts/ci/wsproxy