delete redundant header file