fix batch server for 64-bit Windows