bugfix in automatic recognition of extension changes.