Ensure the S3 download link really works (#3734)