Update ci.sh

For Jenkins CI