fix sourceforge download