Add dotCover 2.5 support