From the Admin page, select Edit config settings, and then Submit the changes. (You don't have to actually change anything.)

That causes the version number hardcoded in admin/doeditconfig.php to be written to config.inc.php.