Re: [Monetdb-developers] need help for extracting BAT