[MonetDB-users] [PATCH]: python-monetdb does not support RIPEMD160