upload to sourceforge is part of release procedure