DuckDuckGo is a better option with regards to privacy ;).

Since this is a topic on VPN software.

Oh, if disabling Gatekeeper is all it takes, then cool. I was worried there was some new system...