Update batch files for Windows.