Use vagrant boxes from S3