stupid windows: can't tell whether powershell or windows batch will work