separate windows batch files for 32- and 64-bit systems