TBR tools: fixing issue when setting up Android cross-compilation environment
TBR tools: fixing issue when setting up Android cross-compilation environment

Change-Id: I13f97a7f31c6cc92621b663177937466f58300ee

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools