Sourceforge is down. Also, we can hammer our servers instead of theirs. Signed-off-by: Sage Weil <sage@redhat.com>