Fix building GDB with python.