Python C header files for cross-compiling