Re: [MonetDB-users] distclean removes source code for monetdb-1.24.0