Removing an old header file