Build tree for "agda" on toolchain "vanilla"