RE: a question on linux header extraction