Fixing Vagrantfile to work with Windows host