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