Tor 0.0.9.4 is out