Adding missing header files.