Better Vagrantfile