Fix settings for mintty