fluxbox: version bumped to 1.3.5.