make build.jenkins.sh executable