gdb fixed

[Samuel Thibault]

Hello,

Some chat on IRC mentioned an upstream fix for the "inferior" bug in
gdb. I have applied the fix on the debian-ports package, it seems to be
working!

Samuel