Re: [Monetdb-developers] configure & *_config.h include files