use vagrant boxes on S3