simplified Vagrantfile.