Re: [Monetdb-developers] Concerning headless branch