Patch headers in sys/.