bug fix in build script: repo tool install