Patch the rest of the header files.