use jenkins.sh for bootstrapping