Sourceforge is back

This reverts commit 7bc1ae350fd234c3f72f68bf6ef7f5a65d395cbd.