Update bat files to work both on 32 and 64-bit windows.