Zipping binary

Zipping binary so it appears properly on github.