Strange. I tested and I had the same problem. You have to add a .zip to the filename and then proceed as usual. I think there might be a problem with how it was added to the site, because I initially provided a .zip file. I'll see if I can get it fixed.
# by jathanism on 01/07/08 at 13:59:15