fix missing header file