Fix makeseeds.py port