Bug fixes in Windows batch files.