remove (super old and deprecated) make-dist.sh