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