Build tree for "dejagnu" on toolchain "android"