version.php: Update version number