Minor fixes to rhcs_ci.py