modify setup.php