Update Vagrantfile to use s3 mks2.box