Re: [MonetDB-users] running 'make check'