Working around a possible OpenSSL bug.