Re: [Monetdb-developers] load runtime incorrectly