Fix Jenkins release script