Use the actual correct setup.php