The name of this file gives the version number of 
the WinBatch program in this group of files.