No more manual amendments required in Vagrantfile.