<div dir="ltr"><div class="gmail_extra">I've manually merged a subset of these fixes.
</div><div class="gmail_extra"><br></div><div class="gmail_extra">For the others, for now, you may just need to handle this in the ports tree.</div></div>