[UPDATE] to latest seqan/develop