<div dir="ltr"><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div>I think it was userspace tools. My plan is to upgrade everything, then do a fresh install of the latest version, and report back on success/failure. (The version I had been using was quite early.)</div></div></div>