Michel Dänzer <daenzer@debian.org> writes: > So, has anyone tried my suggested fix? That would be more useful than > pointing others to this bug... I had planned to do so this week, actually. I just need to clear space to build it on my laptop. -- ilmari