Add missing header file.