[MonetDB-users] OpenSSL and SHA512