filter added to Igor.list_files