Changed to use SOCKS proxy rather than default HTTP for Tor