vagrant_installer: batch file uses SETLOCAL