chore: Vagrantfile minor changes