FIx Windows line endings regex problem.
Merge pull request #799 from kframework/line-endings-problem

FIx Windows line endings regex problem.