modified:   scripts/develop.py