Fix symboric-settings for mintty