Fixes in jenkins build.sh