Remove duplication in the Windows batch build files.