Update for Tor v0.2.5.10