Adding a missing header file to the CMake file