Vagrantfile for win32