[PATCH] tor: Update to 3.1.7