Fix wrong name in dist.sh