Revert "use gzip to make github happy"

This reverts commit 2a313b1fda73048a682494ed8bb2b0cd7e40626c.