fix ignore_files()