https://sourceware.org/bugzilla/show_bug.cgi?id=32146 --- Comment #6 from Mark Wielaard <mark at klomp dot org> --- *** Bug 32028 has been marked as a duplicate of this bug. *** -- You are receiving this mail because: You are on the CC list for the bug.