[Monetdb-developers] Concerning headless branch