Default Vagrantfile initialization