Updated Vagrantfile and install-vagrant to use version 1.4.0 of Vagrant