Re: [MonetDB-users] MServer crashing: Random Segmentation fault