core_Setup.inc.php hotFix