Use HTTPS in default search engine;