only write 1000 filenames into the batch list so that xargs has a chance to write them into one command line