Add a missing header file