tor: update to 0.2.3.25