exec_get_file_name  204 src/filemanager/ext.c     text = exec_get_file_name (filename_vpath);
exec_get_file_name  317 src/filemanager/ext.c                                 text = exec_get_file_name (filename_vpath);