Re: [Monetdb-developers] Proposed changes to build setup