Use Windows paths in Batch files

...and something more.

Reported-by: David Durieux <d.durieux@siprossii.com>

This commit closes #2086.