Changing it this way suggests that we can expect these two operating systems to share the same format of their version file. Is this something we can rely on?