I just tested it and on my computer, it downloaded as "attachment.php". If that happens, change the file extension to .zip, then unzip it, and it should work.