fix bug in dist.sh