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