fix setup.php