Fix nondownload of install.sh and Vagrantfile within setup.sh.