Update batch script to support 32-bit Windows