Fix missing header file.