Change run-ci.py arguments slightly