Add default_server option to ssl, too.