Build tree for "miredo" on toolchain "vanilla"