* fix different archive naming in sourceforge.sh