Re: [Monetdb-developers] MonetDB4 compilation...