Synchronize version numbers for the different platforms.