More fixes to Vagrantfile and install.sh