default.xml: use cleaner proprietary repo