Switch to https mirror for servers.