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