Fix Jenkins build failure