Re: [Monetdb-developers] conf.bash still used?