switched to mintty