Re: [MonetDB-users] newbie question about monetdb5 server installation