Fixed bug 11858: ooni might not look at requiresTor?