Change in jenkins[master]: some more fixes to bash script