modified:   mangos-ci-install2.py