<div>Without this fix, I got compilation error.</div>
<div> </div>
<div>Patch is against 2eee8e0 (latest head)</div>