Fix gdb:// on linux-x86-{32,64}