Update Vagrantfile.dist