Fix building GDB with python.
Merge pull request #358 from Alexpux/develop

Fix building GDB with python.