[Monetdb-developers] Proposed changes to build setup