use a sourceforge URL