Fix a bug in find_one_file().