[tor-commits] [ooni-probe/master] Proper fix for issue reported by @anadahz in #401