(Mail was initially only sent to Carlos, sorry for that :))
> If you have the opportunity please file a match bug with upstream at > sourceware.org/bugzilla. That way upstream is made aware of the issue. The bug is now being tracked at: https://sourceware.org/bugzilla/show_bug.cgi?id=21716