default.xml: use new repos