Fix Jenkins build issue.