Correctly manage header files.