Re: [MonetDB-users] MonetDB All-in-one install script failure