delete a useless header file