default.xml: fix official repo