[Monetdb-developers] dlclose() segfault