Fluxbox: new package (1.3.5)