Thanks for noticing this! I have fixed the problem and you can download it from the website now. Note to admins - if you upload a file by hand you must change the filesize in the database as well!