Small cleanup in dist script
Small cleanup in dist script

randombit/botan,webmaster128/botan,webmaster128/botan,webmaster128/botan,webmaster128/botan,randombit/botan,randombit/botan,randombit/botan,webmaster128/botan,randombit/botan