1.1 Binary file os/graphics/windowing/windowserver/minigui/group/wsini_minigui-stripped.ini has changed