tor.patch: Updated patch to the version I actually use.