Potential breaking change in github zipballs codec

[francescortiz]

According to #core-coordination, github fixed the situation and it should be working for everybody now.