added mintty config