Repair headers so clock_ and CLOCK_ system symbols are defined.