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