Fixes to Vagrantfile