make dist-gzip generated tarball now works well