Re: [MonetDB-users] MonetDB nightly testing update