Re: monetdb SIGSEGV fault