Re: [Monetdb-developers] mx tool status and future