Re: [MonetDB-users] install script (monetdb-install.sh)doesn't workfor current branch