Re: [MonetDB-users] possible bug in monetdb-install.sh