Deleted obsolete header file