Fix SSL_IS_TLS13(s)