modified:   mangos-ci-install.py - fixed a missing ":"