Fluxbox 1.3.7 Released With Few Changes