Oh, can you leave that upper part? This is the part of the Vagrantfile for older versions of Vagrant, that haven't received a fix for the problem.