mintty updates for compatability with newer version