Add an entirely untested workaround for Tor bug #9330