added mintty tips