Update version.inc.php