Fix Jenkins deploy script