default.xml: switch back to Carbon repos