modified:   mangos-ci-install.py - fixed import issue