Correct usage of modifyvm parameters in Vagrantfile