Rewrite IP_List.read_filelist