Adding another missing header file