modify mintty option
Merge branch 'sanritz'