If he had ever downloaded the older version before then its the caching issue.
I downloaded the file and since I never downloaded it before I received the correct one. Also we use zip.so to peak inside the zip and get details and it was the correct one.
If after changing the filename you still have the problem please let me know. Others have had this same issue and its been resolved by having a different file for new releases.
Sorry for the trouble.