[tor-commits] [arm/master] Removing the last hints of TorCtl