I always used the Firefox plug-in Downloadhelper (http://www.downloadhelper.net/) because it allows for file format conversion and it works.