Remove obsolete header file.