Update make_dist.py (migration to Git)