adds mintty settings