Build tree for "idris" on toolchain "musl"