It seems to me that we should make the change. Referring to system versions by the same numbers that the publisher uses is a good idea in general. It will take a fairly small amount of work to adapt a bounded set of GNU packages to this change. So we may as well do it.