Use 32-bit cmd.exe to open .sh files on 64-bit Windows to avoid crashes