Fixes to `create-dist.py`