Build tree for "agda-stdlib" on toolchain "musl"