config.php, that includes real config.php