Switch vagrantfile to AWS