default.xml: change name of my toolchain repo