I've checked in the gdb bits, as below.

-- 
Pedro Alves