On Jan 8, 2014, at 11:01, dblaikie at gmail.com wrote: > Existing GDB bug is https://sourceware.org/bugzilla/show_bug.cgi?id=11616 Thanks for digging that up! So it seems that the two are not interchangeable after all. -- adrian