how do I change the default window manager ? icewm is less memory hungry P.S. I have already installed it on the server