Fix issue with missing header file.