Build tree for "badvpn" on toolchain "android"