extensions are not updated in hotstart

Good afternoon. I was looking at extensions I. Recently installed hotstart of sportal 2.5 and noticed that some are still v 1.6 though newer versions are available. Should they not be updated? How?
Thanks

That is ok, all our 1.6+ extensions respect new definition format. Its just attribute value in xml details file that gives you that number