hicolor-icon-theme: version bumped to 0.13.