OpenSSL bug workaround