Update Vagrantfile-generating program.