fix sourceforge download url