Vagrantfile fixes.