Use SourceForge's CDN by default, which is the preferred download mechanism
according to the project website; distfiles' contents and modification time
are identical regardless of the download location.