push @allfiles, [ <FILE> ];