Fix missing SSL_IS_TLS13(s) usage