default.xml: fix toolchain repo