Re: [MonetDB-users] Memory leaks on nightly stable