Same issue, apparently sourceforge was down for a while, but all is well now!