Fix bug #18745 with invoking Windows batch files with embedded whitespace.