(Needed to read many files.)