The fvwm window manager