modified:   lib/ci-mangos.py - set ExE flag
	modified:   mangos-ci_update.py - set ExE flag