[tor-commits] [arm/master] Dropping the last raw TorCtl usage