mangos-ci-install2.py revision.