mintty tweaks