fixes to jenkins scripts