opera: version bumped to 12.15.