hotfix setup.inc.php