Fix mistakenly removed s3_file include.