dlfcn_name_converter
static char *dlfcn_name_converter(DSO *dso, const char *filename);
dlfcn_name_converter,