[tor-dev] Slight obfsproxy API change (#10342)