* bug in dist.sh script