Use correct setup.php