Redirect to /downloader?f=Rivet-2.5.2.tar.bz2