Huh... sourceforge.net was not available for a short time... Now I have access to it too, but not a day ago... :(