modify setting of mintty