<div dir="ltr"><div><div>Eh, turns out a &#39;make clean&#39; was in order, the patch just caused the cached version to get rebuilt which then picked up the proper symbol.<br><br></div>Sorry...<br><br></div>Dan<br></div>