Re: [Monetdb-developers] Some mdumpsql change