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