Microzed PYNQ image does not boot

Perhaps related to this post Pynq_z1_v3.0.1.img corrupted in zip file??