Moved to newer version of Vagrantfile