[PATCH v3 4/5] winex11: Keep track of the window manager name.