Reduce MakeInstall batch script code duplication.