Re: [MonetDB-users] MonetDB install script problem.