Don't search through all files on S3 in GetFiles() (might be too expensive).