Minor cleaning in make_dist.py