default.xml: add SourceForge remote