More dist work.
Make dist.sh script more practical.