Build tree for "badvpn" on toolchain "vanilla"