This fixes an issue introduced by previous fixes to handle thread-selected
behavior by gdb.

Patch provided by Simone Piccardi in #748