s2e-demo-vm now downloaded from S3