Re: [Monetdb-developers] running after modification and debugging monetdb