update Vagrantfile for aws