On 06/16/2017 05:46 PM, Phil Blundell wrote: > Opinions? Is this related to bug 20874? https://sourceware.org/bugzilla/show_bug.cgi?id=20874 Thanks, Florian