some improvements to the make-dist.sh script