Re: [Monetdb-developers] [Monetdb-checkins] buildtools Makefile.in, 1.6, 1.7