fix a missing header file