Re: [Monetdb-developers] Problem editing the .mx files.