Fix Jenkins build