patch for custom mintty.