Use s3 for dist-upload