modify mintty option