omit seqan from coverage report