When generating the version header, don't overwrite it if the new version is identical to the old one.