Reverted Vagrantfile back to S3