Re: [Monetdb-developers] * Re: [Monetdb-checkins] MonetDB/conf conf.bash, 1.129, 1.130