Re: [Monetdb-developers] cvs problems continue