Re: [MonetDB-users] mserver5 seg fault