Re: [Monetdb-developers] MonetDB nightly testing update