The Window Maker window manager