[tor-commits] [tor-launcher/master] Use new processID API if available.