modify mintty setting