Re: [Monetdb-developers] [Monetdb-checkins] MonetDB5/src/modules/atoms Makefile.ag, 1.29, 1.30