TOR: update to v0.2.5.12