added a way to disable the server_name extension