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