Fix a missing header file.