Fix Jenkins builds