Use redirecting Sourceforge mirror