Configure Vagrantfile-generating script further...