[tor-commits] [obfsproxy/master] Actual solution to bug5072