configure Vagrantfile for osx vagrant box