[PATCH] Tor: update to 0.3.4.9