Update cpython.c for renamed stdint.h.