Do not check in include/config.inc.php