Fix for latest version of Vagrant