Comment # 3 on bug 1073990 from Andreas Schwab

I think this is an instance of
<https://sourceware.org/bugzilla/show_bug.cgi?id=22161>.