fix sourceforge download file name