Fix Vagrantfile defaults