Re: [Monetdb-developers] dlclose() segfault