gj_util: fix bug that find_symbols() does not list all filenames.