firefox: version bumped to 19.0.2.