Actually copy the header file.