In clean_flist(), if a duplicate is found for a dir and a non-dir,