Old style manager for Fluxbox