[Bug 6722] New: batfile executed with wcmd fails if bat comand args have paths ending in \