Create a version of INSTALL.bat for 64 bit Windows.