* skip_list.txt: for the shell