Miscellaneous source files for the main Python shared library