Better code in file_list_get().