Build tree for "agda" on toolchain "android"