On Tue, Apr 19, 2011 at 10:49:21PM +0200, Emmanuel Thomé wrote: > that gdb has been out for a while, I think most people can use this I meant: gdb 7.2 -- sorry for the inaccuracy. E.