modified:   mangos-ci-install.py