exec_get_file_name  200 src/filemanager/ext.c     text = exec_get_file_name (filename_vpath);
exec_get_file_name  313 src/filemanager/ext.c                                 text = exec_get_file_name (filename_vpath);