point to the seqan headers