set the final version number to the same as in version.php