[MonetDB-users] Bug fix release of MonetDB suite