make distrib now creates properly version-stamped tgz-file