Import some more CPython header files