add the seqan headers