compatibility version of SeqAn

WWW: https://www.seqan.de
