We now use unpatched Vagrantfile