Update to tor 4.0.2