[tor-commits] [orbot/master] fixes for getting process id of Tor process