Re: [Monetdb-developers] bootstrapping problems on HEAD