Fix crash in openssl.seal() and openssl.open().