Updated: the vagrant fixes have been merged to master, see https://github.com/mitchellh/vagrant/issues/7288
Updated: the vagrant fixes have been merged to master, see https:/ /github. com/mitchellh/ vagrant/ issues/ 7288