make dist-gzip
