add mintty settings