Hi Nick, On Mon, Jun 27, 2016 at 02:24:14PM +0100, Nick Clifton wrote: > > If so, I'd go ahead and open a bug with the extended patch as > > you suggested. > Please do. Done: https://sourceware.org/bugzilla/show_bug.cgi?id=20303 Thank you again and again! This was an awesome upstream support experience! :) -- Chuffed to bits, Micha