[tor-commits] [obfsproxy/master] Fix issues pointed out at #3613.