fix default_server for https