header file has been removed