setup.php version number