Fix scripts/dist.sh