Thanks a ton! I'm able to reproduce the issue just by extracting the zip:
I'm feeling extremely relieved because this means it's just a simple issue with the zip format, and not with the push command itself :)
