Setting stumpwm as default window manager