No need for core.php with core.php.default