fixing against Tor2web >= 12.3.0