fixing dev/ci.sh