<div dir="ltr">The attached patch appears to fix the build in Ubuntu.</div>