I tested this and it is working fine now that the filenames are changed ...

Are you still having problems?

NOTE: I would suggest using Radio Buttons that are setup as automatically selected so that people cannot unselect the download ...