[FIX] fixed bug in VS
Merge branch 'develop' of github.com:seqan/seqan into develop