bugfix in jenkins script