[PATCH] Tor: Update to 0.4.8.12