#3799 create-dist now generates a tar.gz