update default Vagrantfile