make it download gzipped binaries