a question on linux header extraction