My own modification to mintty