Fix gdb python stuff