Re: [MonetDB-users] PROBLEM WITH MONETDB 5.0