Remove extraneous header file.