Remove a completely unused header