Re: [Monetdb-developers] compiling MonetDB4